Intensional objects
نویسندگان
چکیده
We summarize the interaction between the theory behind intensional programming, as seen in Lucid; and intensional versioning, as seen in Lemur, Intensional HTML, ISE, VMAKE, etc. These two concepts can be seen to be duals of each other, and they rely on dual notions of store, the warehouse for caching values, and the catalog for providing definitions. Catalogs contain intensional objects, which are openable boxes labelled by Lucid contexts. Finally, Lucid contexts are now first-class values.
منابع مشابه
Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation
The dataflow language Lucid applies concepts from intensional logic to declarative ISWIM expressions which are intensionalised relative to the dimension of time, thus introducing the notion of an expression’s history. Lucian, a language derived from Lucid, embeds dataflow into object-orientation allowing the intensionalisation of objects. Lucian introduces the notion of a declarative intensiona...
متن کاملSNePS Considered as a Fully Intensional Propositional Semantic Network
W’e present a formal s\ ntax and semantics for SNePS considered as the (modeled) mind of a cogn:ti\e agent. The semantics is based on a Meinongian theory of’ the intensional objects of’ thought that is appropriate for 41 considered as “computational philosophy” or “computational psychology”.
متن کاملIntensional Query Answering: An Application of Partial Evaluation
We consider intensional answers to be logical formulas expressing sufficient conditions for objects to belong to the usual answer to a query addressed to a knowledge base. We show that in the SLDNF-resolution framework, complete and procedurally complete sets of intensional answers can be generated by using partial evaluation. Specific treatments of recursion and negation are also presented.
متن کاملThe Semantics of Intensional Transitive Verbs in Towards Non-Being∗
In this paper, I point out the problems of the semantics of intensional transitive verbs (e.g.,“seek,” “worship,” and “imagine”) proposed by Graham Priest in his book Towards Non-Being (TNB). On the basis of noneism, a version of Meinongian theory of nonexistent objects, TNB basically takes an intensional transitive as representing a relation between an ordinary individual object and a (possibl...
متن کاملQuerying Conceptual Schemata of Object-Oriented Databases
We propose a set of operations for inquiring about the properties of individual objects and classes in an object-oriented database. The operations are closely related to the constructs introduced by our formalisa-tion of the object-oriented data model, through which we unify the representation of the intensional and the extensional portions of the object-oriented database. As a consequence, the...
متن کامل